Перевод: со всех языков на все языки

со всех языков на все языки

term substitution

См. также в других словарях:

  • Term indexing — In computer science, term indexing is the task of creating an index of terms and clauses in a collection.Many operations in automatic theorem provers require search in huge collections of terms and clauses. Such operations typically fall intothe… …   Wikipedia

  • Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck …   Deutsch Wikipedia

  • Substitution (Mathematik) — Unter Substitution versteht man allgemein das Ersetzen eines Terms durch einen anderen. Dies wird üblicherweise angewandt um den Ausdruck, der den Term enthält, zu vereinfachen beziehungsweise in eine Standardform zu überführen, wie zum Beispiel… …   Deutsch Wikipedia

  • Term — In der Mathematik bezeichnet ein Term einen sinnvollen Ausdruck, der Zahlen, Variablen, Symbole für mathematische Verknüpfungen und Klammern enthalten kann. Terme sind die syntaktisch korrekt gebildeten Wörter oder Wortgruppen in der formalen… …   Deutsch Wikipedia

  • substitution — Putting one person or one thing in the place of another. Subrogation. As the term is used in the law of wills, to create a substitution is to bequeath property to one or more persons, to be succeeded in the enjoyment thereof by others designated… …   Ballentine's law dictionary

  • substitution of parties — A change of parties by the substitution of a new plaintiff or defendant for the original plaintiff or defendant, accomplished by an amendment of the pleading and process as permitted by an order of court, such order being granted only where a new …   Ballentine's law dictionary

  • substitution doctrine — Another term for subrogation. 50 Am J1st Subro § 2 …   Ballentine's law dictionary

  • Sensory substitution — means to transform the characteristics of one sensory modality into stimuli of another sensory modality. It is hoped that sensory substitution systems can help handicapped people by restoring their ability to perceive a certain defective sensory… …   Wikipedia

  • Penal substitution — is a theory of the atonement within Christian theology, especially associated with the Reformed tradition. It argues that Christ, by his own sacrificial choice, was punished (penalised) in the place of sinners (substitution), thus satisfying the… …   Wikipedia

  • Explicit substitution — In computer science, Explicit substitution is an umbrella term used to describe several calculi based on the Lambda calculus that pay special attention to the formalization of the process of substitution. The concept of explicit substitutions has …   Wikipedia

  • Arene substitution patterns — are part of organic chemistry IUPAC nomenclature and pinpoint the position of substituents other than hydrogen in relation to each other on an aromatic hydrocarbon. Contents 1 Ortho, meta, and para substitution 2 Ipso, meso, and peri substitution …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»